Definition State := Id -> option Val.